Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs
نویسنده
چکیده
My research goal is to employ a parser generation algorithm based on the Earley parsing algorithm to the evaluation and compilation of queries to logic programs, especially to deductive databases. By means of partial deduction, from a query to a logic program a parameterized automaton is to be generated that models the evaluation of this query. This automaton can be compiled to executable code; thus we expect a speedup in runtime of query evaluation. An extended abstract/ full version of a paper accepted to be presented at the Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), July 19-22, Vienna, Austria
منابع مشابه
Deficiency of the Space Syntax method as an urban design tool in designing traditional urban space and the need for some supplementary methods
Urban design problems have become so complex that no single designer is able to consider all aspects of a design area simultaneously. Lately the application of computerized and scientific methods have helped designers analyze complex problems. One of these new methods is Space Syntax. The purpose of this study is to first investigate the strengths and weaknesses of this method and then suggest ...
متن کاملTranslation and Optimization of Logic Queries: The Algebraic Approach
This paper presents an algebraic approach to translation and optimization of logic queries. We first develop a syntax directed translation from rules of function-free logic programs to algebraic equations; then we show solution methods for independent equations and for systems of interdependent equations. Such solutions define the operational and fixpoint semantics of function-free logic progra...
متن کاملEvaluation Aspects of an Object-oriented Deductive Database Language
Recently, F-logic [KL89, KLW92] has been proposed as an attempt to extend deductive databases by typical concepts of object-oriented languages. Among these concepts are complex objects, (term-based) object identity, methods, classes, typing, inheritance and browsing. In [KLW92] syntax and model-theoretic semantics is discussed; however many algorithmic aspects which arise when computing the cor...
متن کاملSocial Logic of Cities and Urban Tourism Accessibility; Space Syntax Analysis of Kuala Lumpur City Centre
Tourism is a progressively major part of economies of urban areas. Urban regeneration as a subcategory of urban tourism has been the center of many urban projects. This study addresses the role of space syntax theory as an analytical tool and design aided tool in urban regeneration. For this purpose, we examined the development of a square in the Kuala Lumpur City Center (KLCC) using space synt...
متن کاملStudying impressive parameters on the performance of Persian probabilistic context free grammar parser
In linguistics, a tree bank is a parsed text corpus that annotates syntactic or semantic sentence structure. The exploitation of tree bank data has been important ever since the first large-scale tree bank, The Penn Treebank, was published. However, although originating in computational linguistics, the value of tree bank is becoming more widely appreciated in linguistics research as a whole. F...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1405.3826 شماره
صفحات -
تاریخ انتشار 2014